Visits of International Scientists

Professor Chuck Liang visited the team from 25 May to 15 June 2015 in order to continue his collaborations with team members on basic questions of proof theory. This collaboration resulted in a paper that appears in LPAR 2015 on the topic of subexponentials and the Curry-Howard interpretation of logic.

Internships

Leonardo Lima is an intern funded by ProofCert during 1 Oct 2015 – 28 Feb 2016. He is a student of Prof. Vivek Nigam from Federal University of Paraíba, Brazil. He is working on formalizing the proof theory of linear logic within the Abella theorem prover.

Visits to International Teams

Research stays abroad

Graham-Lengrand spent 6 months, from March 2015 to August 2015 at SRI International, USA. This visit was to start a collaboration with N. Shankar and B. Dutertre on new algorithms and new architectures for automated and interactive theorem proving.